881. Swift for programmers / Paul Deitel, Harvey Deitel

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Object-oriented programming (Computer science),Object-oriented programming languages

رده :
QA76
.
64

882. Symposium on real-time and hybrid systems :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Formal methods (Computer science),Software engineering.,Artificial Intelligence.,Programming Languages, Compilers, Interpreters.,Software Engineering.,System Performance and Evaluation.,Theory of Computation.,Artificial intelligence.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :
QA76
.
758

883. Symposium on semantics of algorithmic languages

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Computer algorithms

رده :
QA
76
.
7
.
S9
1971

884. Symposium on semantics of algorithmic languages

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms

رده :
QA
1
.
L4
v
.
188

885. System simulation : programming styles and languages

پدیدآورنده:

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع: ، Digital computer simulation,، Electronic digital computers- Programming,، Programming languages )Electronic computers(

886. System simulation:programming styles & languages

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: DIGITAL COMPUTER SIMULATION , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PROGRAMMING LANGUAGES

رده :
QA
76
.
9
.
C65
K74

887. #System technical manual

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)

موضوع: Computer programs ،Programming languages )Electronic computers(

رده :
#
QA
،#.
S98

888. SystemVerilog for verification

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Computer hardware description languages.,Integrated circuits--Verification,Object-oriented programming (Computer science)

رده :
TK7885
.
7
.
S64
2012

889. SystemVerilog for verification :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer hardware description languages.,Integrated circuits-- Verification.,Object-oriented programming (Computer science)

رده :
TK7885
.
7
.
S64
2012eb

890. Systems analysis and design /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer architecture.,System analysis.,System design.,Computer architecture.,COMPUTERS-- Programming Languages-- COBOL.,System analysis.,System design.

رده :
QA76
.
9
.
S88
D464
2014

891. Systems software tools

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Programming languages )Electronic computers( , IBM personal computer - Programming , C )Computer program language(

رده :
QA
76
.
7
.
B52

892. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، TEMPO )Computer program language(,، Programming languages )Electronic computers(

رده :
QA
76
.
L4
v
.
66

893. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، TEMPO )Computer program language(,، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
66

894. Teach yourself advanced C in 21 days /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: C (Computer program language),C (Computer program language),COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.

رده :
QA76
.
73
.
C15
J657
1994eb

895. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses

رده :
QA
76
.
642
.
T45
1992

896. The Agent Modeling Language--AML

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Intelligent agents (Computer software),Computer software--Development,Programming languages (Electronic computers)

رده :
QA
,
76
.
76
,.
I58
,
C47
,
2007

897. The Art of Modelling Computational Systems :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)

رده :
QA76
.
7
.
A78
2019

898. The C answer book :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: C (Computer program language), Problems, exercises, etc.,Programming languages (Electronic computers)

899. The imperative future: principles of executable tomporal logic

پدیدآورنده :

موضوع : ، Computer software - Development,، Programming languages )Electronic computer(,، Logic, symbolic and mathematical

۲ نسخه از این کتاب در ۱ کتابخانه موجود است.

900. The Language of computer programming in English

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع: ، Programming languages )Electronic computer(

رده :
QA
76
.
7
.
K3